Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·1d·
Discuss: Hacker News
🎯Interactive Provers
SmartDocs AI - Intelligent Documentation Search with Algolia MCP Server
dev.to·17h·
Discuss: DEV
🌀Brotli Internals
What people said about an OpenZFS bug
despairlabs.com·16h·
Discuss: Lobsters, Hacker News
🔒Type Safety
Thought Purity: Defense Paradigm For Chain-of-Thought Attack
arxiv.org·4h
🎯Proof Tactics
AwesomeAssertions/AwesomeAssertions
github.com·17h
✅Format Verification
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
Google Cloud Oddities Summer 2025 Edition
sven.stormbind.net·20h
⚡gRPC
Stackage Blog: LTS 24 release for ghc-9.10 and Nightly now on ghc-9.12
stackage.org·1d
🔗Functional Compilers
WiSec 2025 Spotlight: Security in the Inaudible World
esat.kuleuven.be·19h
📡Bluetooth Archaeology
Slopsquatting: AI's Contribution to Supply Chain Attacks
hackerone.com·12h
🔒WASM Capabilities
Show HN: I built an SDK for building an AI RAG app with Supabase and pgvector
github.com·12h·
Discuss: Hacker News
🌀Brotli Internals
A Wide Reduction Trick (2022)
words.filippo.io·5h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
2025-07-16: Understanding Hallucination in Large Language Models: Challenges and Opportunities
ws-dl.blogspot.com·8h·
Discuss: ws-dl.blogspot.com
✨Effect Handlers
Parsing Protobuf Like Never Before
mcyoung.xyz·1d
🔧Binary Parsers
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·2d·
Discuss: Hacker News, r/programming
🛡️Preservation Proofs
Zig Interface Revisited
williamw520.github.io·15h·
Discuss: Hacker News
🧩WASM Components
Gradual negation types and the Python type system
jellezijlstra.github.io·1h·
Discuss: Hacker News
🔬Refinement Types
Checking data integrity
eclecticlight.co·1d
✅Checksum Validation
Leave ’Em On Read: GitHub Issue Comment Injection
infosecwriteups.com·2h
🔐CBOR
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·33m
🔄Reproducible Builds